- правило замены
-
правило замены
—
[http://slovarionline.ru/anglo_russkiy_slovar_neftegazovoy_promyishlennosti/]Тематики
- нефтегазовая промышленность
EN
- replacement rule
Справочник технического переводчика. – Интент. 2009-2013.
ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… … Философская энциклопедия
ЗАМЕНЫ РАВНОГО РАВНЫМ ПРАВИЛО — правило логики, позволяющее заменять равные (равнозначные, эквивалентные) выражения друг другом без нарушения истинности тех высказываний, в к рые они входят. См. Правило замены равного равным. Философская Энциклопедия. В 5 х т. М.: Советская… … Философская энциклопедия
Правило 3:Число игроков — Правило 3: Число игроков в футбольных правилах регламентирует количество членов команды, которое может участвовать в игре и порядок проведения замен игроков. Содержание 1 Число игроков 2 Максимальное количество замен 3 Пр … Википедия
Правило 6+5 — Правило «6+5» (более известно как лимит «6+5») футбольное правило о разрешённом количестве легионеров в составе команды. Было введено ФИФА в мае 2008 года, но отменено в июне 2010 года по решению Европейской комиссии. Содержание 1 Суть правила 2… … Википедия
Десятое правило Гринспена — (англ. Greenspun s Tenth Rule) афоризм из области программирования, гласящий:[1][2] Любая достаточно сложная программа на Си или Фортране содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины языка… … Википедия
Десятое правило Гриспена — Десятое правило Гринспена – известный афоризм из области программирования:[1] Любая достаточно сложная программа на C или Фортране содержит заново написанную, неспецифицированную, глючную и медленную реализацию языка Common Lisp.[2] Смысл правила … Википедия
узел цеховой замены — 3.5.6 узел цеховой замены (Shop Replaceable Unit, SRU): Конструктивный элемент, который невозможно заменить непосредственно на изделии. Примечание Как правило, требует специального оборудования, квалифицированного персонала и подлежит замене на… … Словарь-справочник терминов нормативно-технической документации
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
гелевый электрофорез гель-э — гелевый электрофорез, гель э. * гелявы электрафарэз, гель э. * gel electrophoresis метод для разделения заряженных молекул в электрическом поле в гелевом матриксе на основе различий в электрическом заряде, форме и размерах молекул. Существует… … Генетика. Энциклопедический словарь
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия